Reduce

Reduce[expr,vars] reduces the statement expr by solving equations or inequalities for vars and eliminating quantifiers. 

Reduce[expr,vars,dom] does the reduction over the domain dom. Common choices of dom are Reals, Integers, and Complexes. 

Please visit the official Wolfram Language Reference for more details and examples on core symbols.